Double relative commutants in coronas of separable <i>C^*</i>-algebras

Abstract We prove a double commutant theorem for separable subalgebras of wide class corona C * -algebras, largely resolving problem posed by Pedersen in 1988. Double theorems originated with von Neumann, whose seminal result evolved into an entire field now called Neumann algebra theory. Voiculescu later proved -algebraic the Calkin algebra. similar much more general so-called -algebras.